$\forall$$a$:Id. $a$ = $a$ $\sim$ true$_{2}$